$\forall$${\it es}$:ES, ${\it ff}$:FIFO. ${\it ff}$.Sender $\in$ $i$:${\it ff}$.C$\rightarrow$\{$e$:E$\mid$ ${\it ff}$.R($i$,$e$)\} $\rightarrow$\{$e$:E$\mid$ $\exists$$j$:${\it ff}$.C. (${\it ff}$.S($j$,$i$,$e$))\}